Operational calculus - PDFSEARCH.IO - Document Search Engine

Operational calculus
Results: 39

#	Item
31	Domain Theory for Concurrency —New Categorical Foundations EPSRC Research Grant Application Case for support Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-03-03 06:09:38 Logic Denotational semantics Semantics of programming languages Power domains Operational semantics Sheaf Π-calculus Concurrency Semantics Theoretical computer science Logic in computer science Mathematics
32	Teleo-Reactive Abductive Logic Programs Robert Kowalski and Fariba Sadri Imperial College London, {rak, fs}@doc.ic.ac.uk Abstract. Teleo-reactive (TR) programs are a variety of production systems with a destructively upd Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-01-20 14:02:42 Logic programming Logic in computer science Knowledge representation Programming language semantics Abductive logic programming Operational semantics Semantics Event calculus Frame problem Mathematical logic Theoretical computer science Logic
33	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
34	Finding the minimum input impedance of a secondorder unity-gain Sallen-Key low-pass filter without calculus Kenneth V. Cartwright1 and Edit J. Kaminsky2 Add to Reading List Source URL: www.lajpe.org Language: English - Date: 2014-02-21 19:56:18 Electronic filter topology Linear filters Electronic design Analog circuits Electronic circuits Sallen–Key topology Electrical impedance Electronic filter Operational amplifier Electronic engineering Electronics Electromagnetism
35	Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-16 04:23:41 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Semantics Lambda calculus Theoretical computer science Mathematics Logic in computer science
36	Professor Jan Mikusi´ nski - life and work by Add to Reading List Source URL: www.jams.or.jp Language: English - Date: 2012-11-10 21:11:45 Operational calculus European people Generalized function Stefan Banach Number theorists Tom M. Apostol Mathematics Calculus Mathematical analysis
37	i960] BOOK REVIEWS Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 12:39:23 Operational calculus Oliver Heaviside Jan Mikusiński Lambda calculus Economic model Complex analysis Laplace transform Monotonic function Function Mathematical analysis Mathematics Calculus
38	Operational Semantics Using the Partiality Monad Nils Anders Danielsson Chalmers University of Technology and University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:38 Software engineering Programming language semantics Denotational semantics Logic in computer science Monad Lambda calculus Representation theory of finite groups Theoretical computer science Models of computation Applied mathematics
39	The Origins of Structural Operational Semantics Gordon D. Plotkin Laboratory for Foundations of Computer Science, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:07 Logic in computer science Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Lambda calculus Programming Computable Functions Theoretical computer science Computer science Applied mathematics